Ibrahim Habli: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective

Burton, Simon, Habli, Ibrahim, Lawton, Tom, McDermid, John, Morgan, Phillip, Porter, Zoe

Journal:

Artificial Intelligence

Year:

2020

Language:

english

File:

PDF, 1.03 MB

english, 2020

2

Software safety: relating software assurance and software integrity

Habli, Ibrahim, Hawkins, Richard, Kelly, Tim

Journal:

International Journal of Critical Computer-Based Systems

Year:

2010

Language:

english

File:

PDF, 390 KB

english, 2010

3

SAE Technical Paper Series [SAE International SAE 2010 World Congress & Exhibition - (APR. 13, 2010)] SAE Technical Paper Series - Model-Based Assurance for Justifying Automotive Functional Safety

Habli, Ibrahim, Ibarra, Ireri, Rivett, Roger S., Kelly, Tim

Year:

2010

Language:

english

File:

PDF, 2.26 MB

english, 2010

4

Should healthcare providers do safety cases? Lessons from a cross-industry review of safety case practices

Sujan, Mark A., Habli, Ibrahim, Kelly, Tim P., Pozzi, Simone, Johnson, Christopher W.

Journal:

Year:

2016

Language:

english

File:

PDF, 331 KB

english, 2016

5

[IEEE 2017 13th European Dependable Computing Conference (EDCC) - Geneva (2017.9.4-2017.9.8)] 2017 13th European Dependable Computing Conference (EDCC) - Challenges of Safety Assurance for Industry 4.0

Jaradat, Omar, Sljivo, Irfan, Habli, Ibrahim, Hawkins, Richard

Year:

2017

Language:

english

File:

PDF, 115 KB

english, 2017

6

An Enhanced Vehicle Control Model for Assessing Highly Automated Driving Safety

Monkhouse, Helen E., Habli, Ibrahim, McDermid, John

Journal:

Reliability Engineering & System Safety

Year:

2020

File:

PDF, 3.13 MB

2020

7

A Generic Goal-Based Certification Argument for the Justification of Formal Analysis

Ibrahim Habli, Tim Kelly

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 317 KB

english, 2009

8

Safety certification of airborne software: An empirical study

Ian Dodd, Ibrahim Habli

Journal:

Reliability Engineering & System Safety

Year:

2012

Language:

english

File:

PDF, 519 KB

english, 2012

9

Assurance cases and prescriptive software safety certification: A comparative study

Hawkins, Richard, Habli, Ibrahim, Kelly, Tim, McDermid, John

Journal:

Year:

2013

Language:

english

File:

PDF, 2.49 MB

english, 2013

10

[IEEE Second Workshop on Sharing and Reusing Architectural Knowledge - Architecture, Rationale, and Design Intent (SHARK/ADI'07: ICSE Workshops 2007) - Minneapolis, MN, USA (2007.05.20-2007.05.26)] Second Workshop on Sharing and Reusing Architectural Knowledge - Architecture, Rationale, and Design Intent (SHARK/ADI'07: ICSE Workshops 2007) - Capturing and Replaying Architectural Knowledge through Derivational Analogy

Habli, Ibrahim, Kelly, Tim

Year:

2007

Language:

english

File:

PDF, 255 KB

english, 2007

11

[IEEE 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Boston, MA, USA (2012.06.25-2012.06.28)] IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012) - Perspectives on software safety case development for unmanned aircraft

Denney, Ewen, Pai, Ganesh, Habli, Ibrahim

Year:

2012

Language:

english

File:

PDF, 263 KB

english, 2012

12

[IEEE 2011 5th International Symposium on Empirical Software Engineering and Measurement (ESEM) - Banff, AB, Canada (2011.09.22-2011.09.23)] 2011 International Symposium on Empirical Software Engineering and Measurement - Towards Measurement of Confidence in Safety Cases

Denney, Ewen, Pai, Ganesh, Habli, Ibrahim

Year:

2011

Language:

english

File:

PDF, 221 KB

english, 2011

13

An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software

Baker, Richard, Habli, Ibrahim

Journal:

IEEE Transactions on Software Engineering

Year:

2013

Language:

english

File:

PDF, 2.26 MB

english, 2013

14

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - 1st International workshop on assurance cases for software-intensive systems (ASSURE 2013)

Denney, Ewen, Pai, Ganesh, Habli, Ibrahim, Kelly, Tim, Knight, John

Year:

2013

Language:

english

File:

PDF, 160 KB

english, 2013

15

[IEEE 2008 IEEE International Symposium on Software Reliability Engineering (ISSRE) - Seattle, WA, USA (2008.11.10-2008.11.14)] 2008 19th International Symposium on Software Reliability Engineering (ISSRE) - A Model-Driven Approach to Assuring Process Reliability

Habli, Ibrahim, Kelly, Tim

Year:

2008

Language:

english

File:

PDF, 465 KB

english, 2008

16

[IEEE 2014 Tenth European Dependable Computing Conference (EDCC) - Newcastle, United Kingdom (2014.05.13-2014.05.16)] 2014 Tenth European Dependable Computing Conference - A Layered Model for Structuring Automotive Safety Arguments (Short Paper)

Birch, John, Rivett, Roger, Habli, Ibrahim, Bradshaw, Ben, Botham, John, Higham, Dave, Monkhouse, Helen, Palin, Robert

Year:

2014

Language:

english

File:

PDF, 323 KB

english, 2014

17

[IEEE 11th International Software Product Line Conference (SPLC 2007) - Kyoto, Japan (2007.09.10-2007.09.14)] 11th International Software Product Line Conference (SPLC 2007) - Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System

Habli, Ibrahim, Kelly, Tim

Year:

2007

Language:

english

File:

PDF, 456 KB

english, 2007

18

[IEEE 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE) - Daytona Beach Shores, FL, USA (2015.1.8-2015.1.10)] 2015 IEEE 16th International Symposium on High Assurance Systems Engineering - Weaving an Assurance Case from Design: A Model-Based Approach

Hawkins, Richard, Habli, Ibrahim, Kolovos, Dimitris, Paige, Richard, Kelly, Tim

Year:

2015

Language:

english

File:

PDF, 1.11 MB

english, 2015

19

Process and product certification arguments

Habli, Ibrahim, Kelly, Tim

Journal:

ACM SIGBED Review

Year:

2006

Language:

english

File:

PDF, 320 KB

english, 2006

20

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - A candid industrial evaluation of formal software verification using model checking

Bennion, Matthew, Habli, Ibrahim

Year:

2014

Language:

english

File:

PDF, 767 KB

english, 2014

21

Automatic Allocation of Safety Requirements to Components of a Software Product Line

de Oliveira, André L., Papadopoulos, Yiannis, Azevedo, Luís S., Parker, David, Braga, Rosana T.V., Masiero, Paulo C., Habli, Ibrahim, Kelly, Tim

Journal:

IFAC-PapersOnLine

Year:

2015

Language:

english

File:

PDF, 467 KB

english, 2015

22

[IEEE 2014 Brazilian Symposium on Computing Systems Engineering (SBESC) - Manaus, Amazonas, Brazil (2014.11.3-2014.11.7)] 2014 Brazilian Symposium on Computing Systems Engineering - A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products

Oliveira, Andre L. de, Braga, Rosana T.V., Masiero, Paulo C., Papadopoulos, Yiannis, Habli, Ibrahim, Kelly, Tim

Year:

2014

Language:

english

File:

PDF, 170 KB

english, 2014

23

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Dynamic Safety Cases for Through-Life Safety Assurance

Denney, Ewen, Pai, Ganesh, Habli, Ibrahim

Year:

2015

Language:

english

File:

PDF, 1.14 MB

english, 2015

24

[IEEE 11th International Software Product Line Conference (SPLC 2007) - Kyoto, Japan (2007.09.10-2007.09.14)] 11th International Software Product Line Conference (SPLC 2007) - Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System

Habli, Ibrahim, Kelly, Tim

Year:

2007

Language:

english

File:

PDF, 456 KB

english, 2007

25

How can health care organisations make and justify decisions about risk reduction? Lessons from a cross-industry review and a health care stakeholder consensus development process

Sujan, Mark A., Habli, Ibrahim, Kelly, Tim P., Gühnemann, Astrid, Pozzi, Simone, Johnson, Christopher W.

Journal:

Reliability Engineering & System Safety

Year:

2017

Language:

english

File:

PDF, 987 KB

english, 2017

26

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

Calinescu, Radu, Weyns, Danny, Gerasimou, Simos, Iftikhar, Muhammad Usman, Habli, Ibrahim, Kelly, Tim

Journal:

IEEE Transactions on Software Engineering

Year:

2017

Language:

english

File:

PDF, 1.59 MB

english, 2017

27

[IEEE 2017 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computed, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) - San Francisco, CA (2017.8.4-2017.8.8)] 2017 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computed, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) - Why functional safety experts worry about automotive systems having increasing autonomy

Monkhouse, Helen, Habli, Ibrahim, McDermid, John, Khastgir, Siddartha, Dhadyalla, Gunwant

Year:

2017

Language:

english

File:

PDF, 285 KB

english, 2017

28

What is the safety case for health IT? A study of assurance practices in England

Habli, Ibrahim, White, Sean, Sujan, Mark, Harrison, Stuart, Ugarte, Marta

Journal:

Year:

2018

Language:

english

File:

PDF, 1020 KB

english, 2018

29

Evaluation of Mutation Testing in a Nuclear Industry Case Study

Delgado-Perez, Pedro, Habli, Ibrahim, Gregory, Steve, Alexander, Rob, Clark, John, Medina-Bulo, Inmaculada

Journal:

IEEE Transactions on Reliability

Year:

2018

Language:

english

File:

PDF, 2.30 MB

english, 2018

30

Development and piloting of a software tool to facilitate proactive hazard and risk analysis of Health Information Technology

Habli, Ibrahim, Jia, Yan, White, Sean, Gabriel, George, Lawton, Tom, Sujan, Mark, Tomsett, Clive

Journal:

Health Informatics Journal

Year:

2019

Language:

english

File:

PDF, 664 KB

english, 2019

31

Development and piloting of a software tool to facilitate proactive hazard and risk analysis of Health Information Technology

Habli, Ibrahim, Jia, Yan, White, Sean, Gabriel, George, Lawton, Tom, Sujan, Mark, Tomsett, Clive

Journal:

Health Informatics Journal

Year:

2019

File:

PDF, 664 KB

2019

32

[IEEE 2019 IEEE International Conference on Software Architecture Companion (ICSA-C) - Hamburg, Germany (2019.3.25-2019.3.26)] 2019 IEEE International Conference on Software Architecture Companion (ICSA-C) - Architecting Trustworthy Self-Adaptive Systems (Tutorial)

Calinescu, Radu, Weyns, Danny, Gerasimou, Simos, Habli, Ibrahim

Year:

2019

Language:

english

File:

PDF, 10 KB

english, 2019

33

Variability management in safety-critical systems design and dependability analysis

de Oliveira, André Luiz, Braga, Rosana, Masiero, Paulo, Parker, David, Papadopoulos, Yiannis, Habli, Ibrahim, Kelly, Tim

Journal:

Journal of Software Evolution and Process

Year:

2019

Language:

english

File:

PDF, 2.46 MB

english, 2019

34

Using FRAM to explore sources of performance variability in intravenous infusion administration in ICU: A non-normative approach to systems contradictions

Furniss, Dominic, Nelson, David, Habli, Ibrahim, White, Sean, Elliott, Matthew, Reynolds, Nick, Sujan, Mark

Journal:

Applied Ergonomics

Year:

2020

File:

PDF, 731 KB

2020

35

Why is it so difficult to govern mobile apps in healthcare?

Magrabi, Farah, Habli, Ibrahim, Sujan, Mark, Wong, David, Thimbleby, Harold, Baker, Maureen, Coiera, Enrico

Journal:

BMJ Health & Care Informatics

Year:

2019

File:

PDF, 385 KB

2019

36

Enhancing COVID-19 decision making by creating an assurance case for epidemiological models

Habli, Ibrahim, Alexander, Rob, Hawkins, Richard, Sujan, Mark, McDermid, John, Picardi, Chiara, Lawton, Tom

Journal:

BMJ Health & Care Informatics

Year:

2020

File:

PDF, 355 KB

2020

37

[IEEE 2020 57th ACM/IEEE Design Automation Conference (DAC) - San Francisco, CA, USA (2020.7.20-2020.7.24)] 2020 57th ACM/IEEE Design Automation Conference (DAC) - Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support

Zhao, Shuai, Jiang, Zhe, Dai, Xiaotian, Bate, Iain, Habli, Ibrahim, Chang, Wanli

Year:

2020

File:

PDF, 801 KB

2020

38

Model-based safety analysis of software product lines

Oliveira, AndrÃ© Luiz De, Braga, Rosana T.V., Masiero, Paulo Cesar, Papadopoulos, Yiannis, Habli, Ibrahim, Kelly, Tim

Journal:

International Journal of Embedded Systems

Year:

2016

File:

PDF, 478 KB

2016